Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 3541 results
Sort by: relevance publication year
Showing results for ISSN matching 0890-5401

Papers to Appear in Forthcoming Issues

JOURNAL ARTICLE published August 2001 in Information and Computation

https://doi.org/10.1006/inco.2001.3068 Actions

Editorial Board

JOURNAL ARTICLE published February 2003 in Information and Computation

https://doi.org/10.1016/s0890-5401(03)00004-x Actions

Volume Author Index

JOURNAL ARTICLE published August 2004 in Information and Computation

https://doi.org/10.1016/s0890-5401(04)00093-8 Actions

Author Index for Volume 173

JOURNAL ARTICLE published 15 March 2002 in Information and Computation

https://doi.org/10.1016/s0890-5401(02)93142-1 Actions

Editorial Board

JOURNAL ARTICLE published August 2018 in Information and Computation

https://doi.org/10.1016/s0890-5401(18)30098-1 Actions

Observable Behaviors and Equivalences of Logic Programs

JOURNAL ARTICLE published October 1995 in Information and Computation

Authors: M. Gabbrielli | G. Levi | M.C. Meo

https://doi.org/10.1006/inco.1995.1138 Actions

The boolean hierarchy of NP-partitions

JOURNAL ARTICLE published May 2008 in Information and Computation

Authors: Sven Kosub | Klaus W. Wagner

https://doi.org/10.1016/j.ic.2007.06.003 Actions

Correctness kernels of abstract interpretations

JOURNAL ARTICLE published October 2014 in Information and Computation

Research funded by Microsoft Research Software Engineering Innovation Foundation (SEIF 2013)

Authors: Roberto Giacobazzi | Francesco Ranzato

https://doi.org/10.1016/j.ic.2014.02.003 Actions

Oracle Semantics for Prolog

JOURNAL ARTICLE published November 1995 in Information and Computation

Authors: R. Barbuti | M. Codish | R. Giacobazzi | M.J. Maher

https://doi.org/10.1006/inco.1995.1146 Actions

Author Index for Volume 126

JOURNAL ARTICLE published May 1996 in Information and Computation

https://doi.org/10.1006/inco.1996.0044 Actions

Editorial Board

JOURNAL ARTICLE published October 2018 in Information and Computation

https://doi.org/10.1016/s0890-5401(18)30145-7 Actions

Editorial Board

JOURNAL ARTICLE published October 2018 in Information and Computation

https://doi.org/10.1016/s0890-5401(18)30139-1 Actions

Games, automata, logics and formal verification (GandALF 2016)

JOURNAL ARTICLE published October 2018 in Information and Computation

Authors: Domenico Cantone | Giorgio Delzanno

https://doi.org/10.1016/j.ic.2018.09.003 Actions

Decidability of Regularity and Related Properties of Ground Normal Form Languages

JOURNAL ARTICLE published April 1995 in Information and Computation

Authors: G. Kucherov | M. Tajine

https://doi.org/10.1006/inco.1995.1054 Actions

Decidability of Linear Affine Logic

JOURNAL ARTICLE published January 2001 in Information and Computation

Authors: A.P Kopylov

https://doi.org/10.1006/inco.1999.2834 Actions

Generalizing the Paige–Tarjan algorithm by abstract interpretation

JOURNAL ARTICLE published May 2008 in Information and Computation

Authors: Francesco Ranzato | Francesco Tapparo

https://doi.org/10.1016/j.ic.2008.01.001 Actions

Axiomatizing Prefix Iteration with Silent Steps

JOURNAL ARTICLE published May 1996 in Information and Computation

Authors: Luca Aceto | Rob van Glabbeek | Wan Fokkink | Anna Ingólfsdóttir

https://doi.org/10.1006/inco.1996.0047 Actions

A rewriting logic approach to operational semantics

JOURNAL ARTICLE published February 2009 in Information and Computation

Authors: Traian Florin Şerbănuţă | Grigore Roşu | José Meseguer

https://doi.org/10.1016/j.ic.2008.03.026 Actions

Author Index for Volume 154

JOURNAL ARTICLE published 1 November 1999 in Information and Computation

https://doi.org/10.1016/s0890-5401(99)92840-7 Actions

Inside Front Cover: Editorial Board

JOURNAL ARTICLE published July 2006 in Information and Computation

https://doi.org/10.1016/s0890-5401(06)00069-1 Actions
Feedback: support@crossref.org